153 research outputs found
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
Circumscription is a representative example of a nonmonotonic reasoning
inference technique. Circumscription has often been studied for first order
theories, but its propositional version has also been the subject of extensive
research, having been shown equivalent to extended closed world assumption
(ECWA). Moreover, entailment in propositional circumscription is a well-known
example of a decision problem in the second level of the polynomial hierarchy.
This paper proposes a new Boolean Satisfiability (SAT)-based algorithm for
entailment in propositional circumscription that explores the relationship of
propositional circumscription to minimal models. The new algorithm is inspired
by ideas commonly used in SAT-based model checking, namely counterexample
guided abstraction refinement. In addition, the new algorithm is refined to
compute the theory closure for generalized close world assumption (GCWA).
Experimental results show that the new algorithm can solve problem instances
that other solutions are unable to solve
A Photometrically and Morphologically Variable Infrared Nebula in L483
We present narrow and broad K-band observations of the Class 0/I source IRAS
18148-0440 that span 17 years. The infrared nebula associated with this
protostar in the L483 dark cloud is both morphologically and photometrically
variable on a time scale of only a few months. This nebula appears to be an
infrared analogue to other well-known optically visible variable nebulae
associated with young stars, such as Hubble's Variable Nebula. Along with
Cepheus A, this is one of the first large variable nebulae to be found that is
only visible in the infrared. The variability of this nebula is most likely due
to changing illumination of the cloud rather than any motion of the structure
in the nebula. Both morphological and photometric changes are observed on a
time scale only a few times longer than the light crossing time of the nebula,
suggesting very rapid intrinsic changes in the illumination of the nebula. Our
narrow-band observations also found that H_2 knots are found nearly twice as
far to the east of the source as to its west, and that H_2 emission extends
farther east of the source than the previously known CO outflow.Comment: 19 pages, 6 figures, 1 tabl
The DLV System for Knowledge Representation and Reasoning
This paper presents the DLV system, which is widely considered the
state-of-the-art implementation of disjunctive logic programming, and addresses
several aspects. As for problem solving, we provide a formal definition of its
kernel language, function-free disjunctive logic programs (also known as
disjunctive datalog), extended by weak constraints, which are a powerful tool
to express optimization problems. We then illustrate the usage of DLV as a tool
for knowledge representation and reasoning, describing a new declarative
programming methodology which allows one to encode complex problems (up to
-complete problems) in a declarative fashion. On the foundational
side, we provide a detailed analysis of the computational complexity of the
language of DLV, and by deriving new complexity results we chart a complete
picture of the complexity of this language and important fragments thereof.
Furthermore, we illustrate the general architecture of the DLV system which
has been influenced by these results. As for applications, we overview
application front-ends which have been developed on top of DLV to solve
specific knowledge representation tasks, and we briefly describe the main
international projects investigating the potential of the system for industrial
exploitation. Finally, we report about thorough experimentation and
benchmarking, which has been carried out to assess the efficiency of the
system. The experimental results confirm the solidity of DLV and highlight its
potential for emerging application areas like knowledge management and
information integration.Comment: 56 pages, 9 figures, 6 table
Four Lessons in Versatility or How Query Languages Adapt to the Web
Exposing not only human-centered information, but machine-processable data on the Web is one of the commonalities of recent Web trends. It has enabled a new kind of applications and businesses where the data is used in ways not foreseen by the data providers. Yet this exposition has fractured the Web into islands of data, each in different Web formats: Some providers choose XML, others RDF, again others JSON or OWL, for their data, even in similar domains. This fracturing stifles innovation as application builders have to cope not only with one Web stack (e.g., XML technology) but with several ones, each of considerable complexity. With Xcerpt we have developed a rule- and pattern based query language that aims to give shield application builders from much of this complexity: In a single query language XML and RDF data can be accessed, processed, combined, and re-published. Though the need for combined access to XML and RDF data has been recognized in previous work (including the W3C’s GRDDL), our approach differs in four main aspects: (1) We provide a single language (rather than two separate or embedded languages), thus minimizing the conceptual overhead of dealing with disparate data formats. (2) Both the declarative (logic-based) and the operational semantics are unified in that they apply for querying XML and RDF in the same way. (3) We show that the resulting query language can be implemented reusing traditional database technology, if desirable. Nevertheless, we also give a unified evaluation approach based on interval labelings of graphs that is at least as fast as existing approaches for tree-shaped XML data, yet provides linear time and space querying also for many RDF graphs. We believe that Web query languages are the right tool for declarative data access in Web applications and that Xcerpt is a significant step towards a more convenient, yet highly efficient data access in a “Web of Data”
Continuous selections of multivalued mappings
This survey covers in our opinion the most important results in the theory of
continuous selections of multivalued mappings (approximately) from 2002 through
2012. It extends and continues our previous such survey which appeared in
Recent Progress in General Topology, II, which was published in 2002. In
comparison, our present survey considers more restricted and specific areas of
mathematics. Note that we do not consider the theory of selectors (i.e.
continuous choices of elements from subsets of topological spaces) since this
topics is covered by another survey in this volume
Consonance and Cantor set-selectors
It is shown that every metrizable consonant space is a Cantor set-selector. Some applications are derived from this fact, also the relationship is discussed in the framework of hyperspaces and Prohorov spaces.peer-reviewe
- …